IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·8h·
Discuss: Hacker News
💾Binary Formats
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·21h·
Discuss: Hacker News, r/programming, r/rust
🧮SMT Solvers
15 Best Practices for Building MCP Servers in Production
thenewstack.io·3h
📋MCP
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
💾Binary Formats
built fasterpc bc i was frustrated with the usual distributed service comms, no more rest apis, or heavy MQs
reddit.com·21h·
Discuss: r/programming
🌐Network Protocols
Show HN: Spring Boot and OpenAPI Generator – type-safe clients with generics
github.com·14h·
Discuss: Hacker News
🔌API Design Theory
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·15h
💻Programming languages
Baking with Rails at scale: recipes in Ruby, cookware from Go, C, and Rust
evilmartians.com·19h
🏹Apache Arrow
Comparing transitive dependency version resolution in Rust and Java
blog.frankel.ch·23h·
Discuss: r/rust
🦀Rust
Casilda 1.0 released!
blogs.gnome.org·5h
🦋Tauri
AMD Turin PSP binaries analysis from open-source firmware perspective
blog.3mdeb.com·21h·
Discuss: Hacker News
🔐Hardware Security
Which NPM package has the largest version number?
adamhl.dev·15h·
Discuss: Hacker News
🔬Rust Profiling
Supercharge Your Docker Compose Applications with AI Models
ajeetraina.com·13h
🆕New AI
Unit test isolation using MVCC
blog.alexsanjoseph.com·5h·
Discuss: Hacker News
🔒Transaction Isolation
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🪄Prompt Engineering
What is Algebraic about Algebraic Effects?
interjectedfuture.com·2h
💻Programming languages
Conquering the LLM Memory Wall: How to Run 2–4x Longer Contexts with a Single Line of Code
reddit.com·7h·
Discuss: r/LocalLLaMA
🧠LLM Inference
Polars at Decathlon: Ready to Play?
pola.rs·19h
🌐Distributed systems
Going Native With Android’s Native Development Kit
hackaday.com·5h
🔧Developer tools
Vendor by Default (2021)
macwright.com·10h·
Discuss: Hacker News
👨‍💻Software development practices